Die Behandlung graphischer Seiteneffekte beim Backtracking in Prolog
نویسندگان
چکیده
Im Rahmen des Projekts TOPOGRAPHIC wird zur Zeit am Lehrstuhl für Informationswissenschaft der Universität Konstanz ein Prototyp für ein wissensbasiertes Informationssystem mit graphischem Interface entwickelt. Der experimentelle Charakter dieses Systems erfordert den Einsatz einer Spezifikationssprache, die eine inkrementelle Entwicklung im Sinne des Rapid Prototyping ermöglicht. Die Entscheidung, dieser Spezifikationssprache eine um Graphikund Wissensbasiszugriffsfunktionen erweiterte Prolog-Version zugrunde zu legen, gründet sich auf folgende Gesichtspunkte:
منابع مشابه
UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG
1 eine Grammatik entwickeln will, muß zunächst die Syntax und andere Eigenschaften der Sprache lernen. Außerdem ist er in seinen Ausdrucksmöglichkeiten auf die Elemente der formalen Sprache beschränkt. Solche Sprachen besitzen meist nur gerade die Funktionen und Datenstrukturen, die unbedingt zur Behandlung einer Grammatik nötig sind, aber sie besitzen nicht die Mächtigkeit einer allgemeinen Pr...
متن کاملModellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines
• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...
متن کاملClinical and Preclinical Experience with Gefitinib and Sunitinib
Zusammenfassung Gefitininb und Sunitinib sind neue Medikamente zur Krebstherapie. Sie inhibieren gezielt die intrazelluläre Tyrosinkinase-Domäne von Wachstumsfaktorrezeptoren. Gefitinib hat ein Ziel und inhibiert den Epidermal Growth Factor Receptor (EGFR). Die meisten Erfahrungen wurden beim nicht-kleinzelligen Lungenkarzinom gemacht. Die Wirksamkeit bei anderen soliden Tumoren ist begrenzt. D...
متن کاملPräoperative Simulation von Rohrprothesen und Y-Stents zur endovaskulären Behandlung von Stenosen und Aneurysmen
Zusammenfassung. Die endovaskuläre Behandlung von Gefäßerkrankungen erfordert zur Wahl eines passenden Stents die Kenntnis der individuellen Gefäßabmaße. Wir stellen eine Methode vor, mit der Rohrprothesen und Y-Stents zusammen mit den präoperativen CT-Daten visualisiert werden. Die verwendete physikalische Simulation ermöglicht darüber hinaus die Simulation des Verhaltens unterschiedlicher Ste...
متن کاملSurgery after Primary Systemic Chemotherapy in Patients with Breast Cancer
Zusammenfassung Die systemische Therapie beim kurablen Mammakarzinom wird zunehmend der Operation im Sinne einer «neo-adjuvanten» Behandlung – oder besser primär systemischen Therapie (PST) – vorangestellt. Sowohl aus klinischen als auch aus wissenschaftlichen Gründen bietet dieses Behandlungskonzept viele Vorteile. Für die Betroffenen steht die Möglichkeit im Vordergrund, die Rate der brusterh...
متن کامل